computability logic中文是什么意思
发音:
用"computability logic"造句"computability logic"怎么读"computability logic" in a sentence
中文翻译手机版
- 可计算性逻辑
- "logic"中文翻译 n. 1.逻辑,理论学。 2.推理[方法];逻辑性,条理 ...
- "computability" 中文翻译 : 可计算性; 可算性
- "abacus computability" 中文翻译 : 算盘可计算性
- "characterization of computability" 中文翻译 : 可计算性刻划
- "computability theory" 中文翻译 : 可计算性理论
- "feasible computability" 中文翻译 : 可行计算性; 可行可计算性
- "partial computability" 中文翻译 : 部分可计算性
- "practical computability" 中文翻译 : 实用可计算性
- "turing computability" 中文翻译 : 图灵机可计算性
- "equivalent definitions of computability" 中文翻译 : 可计算性的等价定义
- "-logic" 中文翻译 : -logic, -logical 〔构成与 -logy 结尾的名词相应的形容词〕表示“…学的”: biological, philological.
- "and logic" 中文翻译 : “与”逻辑
- "logic" 中文翻译 : n. 1.逻辑,理论学。 2.推理[方法];逻辑性,条理性。 3. 威力,压力,强制(力)。 deductive [inductive] logic演绎[归纳]逻辑。 dialectical logic辩证逻辑。 formal logic形式逻辑。 a gangster logic强盗逻辑,恶徒的歪理[言行]。 mathematical logic数理逻辑。 pure logic纯粹逻辑。 He is not governed by logic. 他没有逻辑性。 That is not logic. 那不合逻辑。 the irresistible logic of facts 事实的不可抗拒的威力。 the logic of events [war] 事件[战争]的强制力。 His logic is shaky. 他的推理站不住脚。 chop logic 诡辩。
- "logic-and" 中文翻译 : 逻辑“与”
- "or logic" 中文翻译 : 或逻辑
- "active logic" 中文翻译 : 有源逻辑
- "actuating logic" 中文翻译 : 执行逻辑
- "adaptive logic" 中文翻译 : 适应性逻辑(电脑); 自适应逻辑
- "affective logic" 中文翻译 : 情感逻辑
- "algebra and logic" 中文翻译 : 代数与逻辑
- "algebra of logic" 中文翻译 : 逻辑代数
- "algebraic logic" 中文翻译 : 代数逻辑
- "algorithm logic" 中文翻译 : 运算逻辑
- "algorithmic logic" 中文翻译 : 算法逻辑
- "alternating logic" 中文翻译 : 交替逻辑
百科解释
Introduced by Giorgi Japaridze in 2003, computability logic is a research programme and mathematical framework for redeveloping logic as a systematic formal theory of computability, as opposed to classical logic which is a formal theory of proof. In this approach logical formulas represent computational problems (or, equivalently, computational resources), and their validity means being "always computable".
详细百科解释
相关词汇
computability 中文, turing computability 中文, abacus computability 中文, partial computability 中文, computability theory 中文, feasible computability 中文, practical computability 中文, characterization of computability 中文, equivalent definitions of computability 中文, compuserve信息系统 中文, compusory 中文, compustat 中文, compusystems data products inc 中文, computable 中文, computable business area 中文, computable function 中文, computable general equilibrium 中文,
相邻词汇
computability logic的中文翻译,computability logic是什么意思,怎么用汉语翻译computability logic,computability logic的中文意思,computability logic的中文,computability logic in Chinese,computability logic的中文,computability logic怎么读,发音,例句,用法和解释由查查在线词典提供,版权所有违者必究。